Robustness Analysis of String Transducers
نویسندگان
چکیده
Many important functions over strings can be represented as finite-state string transducers. In this paper, we present an automatatheoretic technique for algorithmically verifying that such a function is robust to uncertainty. A function encoded as a transducer is defined to be robust if for each small (i.e., bounded) change to any input string, the change in the transducer’s output is proportional to the change in the input. Changes to input and output strings are quantified using weighted generalizations of the Levenshtein and Manhattan distances over strings. Our main technical contribution is a set of decision procedures based on reducing the problem of robustness verification of a transducer to the problem of checking the emptiness of a reversal-bounded counter machine. The decision procedures under the generalized Manhattan and Levenshtein distance metrics are in Pspace and Expspace, respectively. For transducers that are Mealy machines, the decision procedures under these metrics are in Nlogspace and Pspace, respectively.
منابع مشابه
Internal and string stability analyses of longitudinal platoon of vehicles with communication delay and actuator lag under constant spacing policy
This paper studies the longitudinal control of a group of vehicles following a lead vehicle. A neighbor based upper level controller is proposed by considering communication delay and actuator lag. Constant spacing policy is used between successive vehicles. Two different approaches based on Lyapunov-Razumikhin and Lyapuniv-Krassovski theorems are presented to stability analysis...
متن کاملImpact Analysis of Variation in Geometrical Features on Intrinsic Characteristics of Capacitive Micro-machined Ultrasonic Transducers
Capacitive Micro-machined Ultrasonic Transducers (CMUTs) are the ultrasonic devices which produce better features in contrast to piezoelectric transducers. The intrinsic parameter of CMUT varies with the variation in geometrical dimension of the device. The cavity height and the radius of the CMUT with circular membrane is varied in the lumped parallel plate model for its impact on the paramete...
متن کاملExpressiveness of streaming string transducers
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and uses a finite set of variables that range over strings from the output alphabet. At every step, the transducer processes an input symbol, and updates all the variables in parallel using assignments whose right-hand-sides...
متن کاملMso Deenable String Transductions and Two-way Nite State Transducers
String transductions that are deenable in monadic second-order (mso) logic (without the use of parameters) are exactly those realized by deterministic two-way nite state transducers. Nondetermin-istic mso deenable string transductions (i.e., those deenable with the use of parameters) corespond to compositions of two nondeterministic two-way nite state transducers that have the nite visit proper...
متن کاملLipschitz Robustness of Finite-state Transducers
We investigate the problem of checking if a finite-state transducer is robust to uncertainty in its input. Our notion of robustness is based on the analytic notion of Lipschitz continuity — a transducer is K-(Lipschitz) robust if the perturbation in its output is at most K times the perturbation in its input. We quantify input and output perturbation using similarity functions. We show that K-r...
متن کامل